Towards a Formal Model of Privacy-Sensitive Dynamic Coalitions

The concept of dynamic coalitions (also virtual organizations) describes the temporary interconnection of autonomous agents, who share information or resources in order to achieve a common goal. Through modern technologies these coalitions may form across company, organization and system borders. Therefor questions of access control and security are of vital significance for the architectures supporting these coalitions. In this paper, we present our first steps to reach a formal framework for modeling and verifying the design of privacy-sensitive dynamic coalition infrastructures and their processes. In order to do so we extend existing dynamic coalition modeling approaches with an access-control-concept, which manages access to information through policies. Furthermore we regard the processes underlying these coalitions and present first works in formalizing these processes. As a result of the present paper we illustrate the usefulness of the Abstract State Machine (ASM) method for this task. We demonstrate a formal treatment of privacy-sensitive dynamic coalitions by two example ASMs which model certain access control situations. A logical consideration of these ASMs can lead to a better understanding and a verification of the ASMs according to the aspired specification.Comment: In Proceedings FAVO 2011, arXiv:1204.579

A Critical Review on the Structural Health Monitoring Methods of the Composite Wind Turbine Blades

With increasing turbine size, monitoring of blades becomes increasingly im-portant, in order to prevent catastrophic damages and unnecessary mainte-nance, minimize the downtime and labor cost and improving the safety is-sues and reliability. The present work provides a review and classification of various structural health monitoring (SHM) methods as strain measurement utilizing optical fiber sensors and Fiber Bragg Gratings (FBG’s), active/ pas-sive acoustic emission method, vibration‒based method, thermal imaging method and ultrasonic methods, based on the recent investigations and prom-ising novel techniques. Since accuracy, comprehensiveness and cost-effectiveness are the fundamental parameters in selecting the SHM method, a systematically summarized investigation encompassing methods capabilities/ limitations and sensors types, is needed. Furthermore, the damages which are included in the present work are fiber breakage, matrix cracking, delamina-tion, fiber debonding, crack opening at leading/ trailing edge and ice accre-tion. Taking into account the types of the sensors relevant to different SHM methods, the advantages/ capabilities and disadvantages/ limitations of repre-sented methods are nominated and analyzed

The Inner Dialog: Pragmatics for One Person

Kracht M. The Inner Dialog: Pragmatics for One Person. In: Robering K, Bab S, eds. Judgements and Propositions. Logische Philosophie. Vol [21]. Berlin: Logos Verlag; 2010: 39-59

On Modeling the Distribution of Declarative V2-Clauses: the Case of Disjunction

Gärtner H-M, Michaelis J. On Modeling the Distribution of Declarative V2-Clauses: the Case of Disjunction. In: Bab S, Klaus R, eds. Judgements and Propositions. Logical, Linguistic, and Cognitive Issues. Logische Philosophie. Vol 21. Berlin: Logos; 2010: 11-25